Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Weiterlesenhe name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...
Weiterlesen